void portal(Player @player, Portal @portal) {
if (player.getChannel().getMap(230040420).getPlayers().getPlayersCount() < 12)
player.changeMap(230040420, "out00");
else
	player.showMessage("The Cave of Pianus has reached maximum capacity. Come back later.");
}